翻訳と辞書 Words near each other ・ Unit of measure (disambiguation) ・ Unit of observation ・ Unit of Rehabilitation of Victims of Torture ・ Unit of selection ・ Unit of time ・ Unit One ・ Unit One (disambiguation) ・ Unit operation ・ Unit Operations of Chemical Engineering ・ Unit Party ・ Unit prefix ・ Unit price ・ Unit price information in supermarkets ・ Unit process ・ Unit production manager ・ Unit propagation ・ Unit pump ・ Unit record equipment ・ Unit Rig ・ Unit root ・ Unit root test ・ Unit run ・ Unit S3U1 ・ Unit sphere ・ Unit square ・ Unit still photographer ・ Unit Structures ・ Unit supply specialist ・ Unit tangent bundle ・ Unit testing Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Unit propagation ： ウィキペディア英語版 Unit propagation Unit propagation (UP) or Boolean Constraint propagation or the one-literal rule (OLR) is a procedure of automated theorem proving that can simplify a set of (usually propositional) clauses. ==Definition== The procedure is based on unit clauses, i.e. clauses that are composed of a single literal. Because each clause needs to be satisfied, we know that this literal must be true. If a set of clauses contains the unit clause $l$, the other clauses are simplified by the application of the two following rules: # every clause (other than the unit clause itself) containing $l$ is removed (the clause is satisfied if $l$ is); # in every clause that contains $\backslash neg\; l$ this literal is deleted ($l$ can not contribute to it being satisfied). The application of these two rules lead to a new set of clauses that is equivalent to the old one. For example, the following set of clauses can be simplified by unit propagation because it contains the unit clause $a$. : $\backslash$ Since $a\; \backslash vee\; b$ contains the literal $a$, this clause can be removed altogether. Since $\backslash neg\; a\; \backslash vee\; c$ contains the negation of the literal in the unit clause, this literal can be removed from the clause. The unit clause $a$ is not removed; this would make the resulting set not equivalent to the original one; this clause can be removed if already stored in some other form (see section "Using a partial model"). The effect of unit propagation can be summarized as follows. |} The resulting set of clauses $\backslash$ is equivalent to the above one. The new unit clause $c$ that results from unit propagation can be used for a further application of unit propagation, which would transform $\backslash neg\; c\; \backslash vee\; d$ into $d$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Unit propagation」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.